Phi Accural Failure Detector

和传统的直接timeout相比，PAFD的做法是过去heartbeat的平均间隔的标准差和均值，算出一个模型，给定F(phi, time to the latest hb) => timeout概率，让应用层来决定是否timeout。Akka和Cassandra都用了。